Parametric polymorphism - PDFSEARCH.IO - Document Search Engine

Parametric polymorphism
Results: 44

#	Item
21	Implementing Overloading and Polymorphism in Cforall by Richard C. Bilson Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2003-10-01 16:16:36 Object-oriented programming Polymorphism Type theory Data types Functional programming Function overloading Parametric polymorphism ALGOL 68 Assertion Software engineering Computing Computer programming
22	Contextual Polymorphism by Glen Jerey Ditcheld A thesis Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2015-01-30 12:38:55 Programming language theory Polymorphism Data types Object-oriented programming Parametric polymorphism Ad-hoc polymorphism Type system Subtype polymorphism Function overloading Type theory Software engineering Computing
23	Modular Type Classes Derek Dreyer Robert Harper Manuel M.T. Chakravarty Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:04 Programming language theory Type class Generic programming Standard ML Type system Parametric polymorphism Type inference Type signature Kind Software engineering Type theory Computing
24	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
25	Advances in Programming Languages APL7: Polymorphism from Types to Kinds and Beyond Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-11 21:20:45 Computer programming Object-oriented programming Polymorphism Data types Functional programming Ad-hoc polymorphism Parametric polymorphism Type class Function overloading Software engineering Computing Type theory
26	Rules for Type-checking of Parametric Polymorphism in EMF Generics Miguel Garcia Institute for Software Systems (STS) Hamburg University of Technology (TUHH), 21073 Hamburg, Germany [removed] Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2007-02-21 05:06:00 Polymorphism Data types Type theory Generic programming Generics in Java Subtype polymorphism Standard ML Type system Classical cipher Software engineering Computing Computer programming
27	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
28	Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Mathematical logic Parametric polymorphism Type class System F Normal function Type inference Ordinal number Type system Kind Type theory Software engineering Programming language theory
29	Polymorphic Delimited Continuations Kenichi Asai1 and Yukiyoshi Kameyama2 1 Department of Information Science, Ochanomizu University [removed] Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2007-10-10 00:35:06 Theoretical computer science Parametric polymorphism Symbol Type variable Type inference Type system Type theory Programming language theory Software engineering
30	Programming with Polymorphic Variants Jacques Garrigue Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Data types Polymorphism Computing Object-oriented programming Symbol Lambda calculus Type system Subtype polymorphism Parametric polymorphism Type theory Software engineering Programming language theory

UPDATE